On Problems Dual to Unification
نویسندگان
چکیده
In this paper, we investigate a problem dual to the unification problem, namely theCommon Term (CT) problem for string rewriting systems. Our main motivation was in computing fixed points in systems, such as loop invariants in programming languages. We show that the fixed point problem is reducible to the common term problem. We also prove that the common term problem is undecidable for dwindling string rewriting systems.
منابع مشابه
Unification Under a Mixed Prefix
Unification problems are identified with conjunctions of equations between simply typed λ-terms where free variables in the equations can be universally or existentially quantified. Two schemes for simplifying quantifier alternation, called Skolemization and raising (a dual of Skolemization), are presented. In this setting where variables of functional type can be quantified and not all types c...
متن کاملThe Effects of Exchange Rate Unification on the Iranian Economy
The exchange rate unification is one of the most important instruments of economic adjustment, which is used in many countries. This paper shows the effects of the exchange rate unification on price level (inflation), gross domestic production (GDP), non-oil exports, private conception, government expenditure and stock of money. The data, is used related to the period 1959-2000. To analyze the ...
متن کاملIn Search of a Model for the Unification of Individual and Organizational Goals
One of the greatest problems for managers during the last century was the diversification between individual and organizational Goals Management scholars was always looking for a solution for this conflict. Although these goals sometime are convergent but in many cases this problem results in low degree in performance of the organization. This article is trying to present a molel for unificatio...
متن کاملSome new results on semi fully fuzzy linear programming problems
There are two interesting methods, in the literature, for solving fuzzy linear programming problems in which the elements of coefficient matrix of the constraints are represented by real numbers and rest of the parameters are represented by symmetric trapezoidal fuzzy numbers. The first method, named as fuzzy primal simplex method, assumes an initial primal basic feasible solution is at hand. T...
متن کاملA Study on the Attitude of Students of I.A.U of Religion 11 on National Unity and Islamic Unification
Because of its structure and cultural, social and historical conditions, the country of Iran has various ethnic, religious, and racial types. On the other hand, as an element of large Islamic nation, Iran encounters various complex cultural conditions. The nature and the origin of unity and unification are the common points between these organs at both national and Islamic nation's level. In f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1706.05607 شماره
صفحات -
تاریخ انتشار 2017